Search: mathstodon.xyz | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Artificial General Cleverness

6 months ago

4 points

62.

Terence Tao: Cleverness versus Intelligence in AI Tools and Humans

6 months ago

4 points

63.

Terence Tao: The Regime of "No Effective Dynamics"

a year ago

4 points

64.

A uniform tiling that fold-transforms into another uniform tiling

2 years ago

4 points

65.

Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete

3 years ago

4 points

66.

Why train wheels have conical geometry

8 years ago

4 points

67.

Tao: An experiment reviving an archaic practice from the era of Gauss

5 months ago

3 points

68.

Tao: Intelligence is too high-dimensional for accurate low-dimensional narrative

7 months ago

3 points

69.

Terrence Taos recent posts on AI, automated proof

8 months ago

3 points

70.

John Carlos Baez: An Introduction to the Standard Model

8 months ago

3 points

71.

Asking Claude how many "n"s are in the word "banana" ... thread.

8 months ago

3 points

72.

Terence Tao explains what's going on

a year ago

3 points

73.

John Carlos Baez: Here's a consequence of Newton's law of gravity

a year ago

3 points

74.

Terence Tao: DeepMind's open repository of formalized mathematics conjectures

a year ago

3 points

75.

Four Pieces Is Optimal

a year ago

3 points

76.

LUKS suspend failed to wipe volume encryption key from memory since Linux 6.9

4 days ago

3 points

77.

Erdos problems solved more or less autonomously by AI

6 months ago

3 points

78.

Terence Tao on Crowdsourced Effort

9 months ago

3 points

79.

The asteroid posing the greatest threat of collision is called 2024 YR₄

a year ago

3 points

80.

Terence Tao about the balance between quantitative and qualitative thinking

a year ago

3 points

81.

Terence Tao's Update on Equational Theories Project Results

2 years ago

3 points

82.

The Europa Clipper took off Here's an outline of its mission

2 years ago

3 points

83.

Are we finally entering the indutrial era of research mathematics?

3 years ago

3 points

84.

Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper

3 years ago

2 points

85.

Gemini Nailing Organic Chemistry

2 years ago

2 points

86.

Talking about Mastodon on Reddit

8 years ago

2 points

87.

Mikan: a proof assistant for cubical type theory (forked from Agda)

2 months ago

2 points

88.

John Carlos Baez: "Learning from Nature with System Dynamics"

2 months ago

2 points

89.

Impact of AI on the practice of math analogous to cars on evolution of cities

3 months ago

2 points

90.

Book: "Beading with Algorithms: Cellular Automata in Peyote Stitch."

5 months ago

2 points